$f$[$x$:=$v$]($y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if ${\it eq}$($y$,$x$)$\rightarrow$ $v$ else $f$($y$) fi